Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

Para comemorarmos o centenário do patrono da Educação Brasileira, Paulo Reglus Neves Freire, iremos neste breve estudo propor um diálogo entre a pedagogia libertária de Freire e algumas princípios filosóficos que a fundamentam. Inicialmente, investigamos a trajetória histórica do pedagogo nordestino, e os momentos mais marcantes de sua vida cosmopolita. Em segundo, apresentaremos alguns dos principais alicerces de sua metodologia pedagógica, contudo, dada a vasta obra publicada por Freire, qualquer breve revisão será fadada em apenas ser um breve vislumbre da (...) filosofia e pedagogia freireana. Por fim, iremos explorar algumas das origens filosóficas e políticas do conceito de pedagogia libertária, e como essas origens podem ser ligadas a filosofia Anarquista, dado a algumas semelhanças evidentes. A crítica a autoridade injustificada, a amorosa crença do caráter social e solidário do indivíduo humano, e um forte defesa da emancipação humana, algo que só pode ser alcançado através da busca pela liberdade e autonomia do sujeito. Tais paralelos levam à conclusão de que se a pedagogia libertária é um ato de amor, a filosofia libertária também deve ser, pois, ambas se nutrem da mesma fonte, e almejam o mesmo lugar: a emancipação humana. (shrink)

The project of growing meat artificially represents for some the next best thing to humanity. If successful, it could be the solution to several problems, such as feed- ing a growing global population while reducing the environmental impact of raising animals for food and, of course, reducing the amount and degree of animal cruelty and suffering that is involved in animal farming. In this paper, I argue that the issue of the morality of such a project has been framed only (...) in terms of the best conse- quences for the environment, animals, and humans, or in terms of deontic princi- ples. I argue that to appreciate how deep and difficult this issue is, it is necessary to consider it in terms of a virtue-oriented approach. Such an approach will reveal aspects that are not apparent, not contemplated by typical approaches, but are essen- tial to our understanding of the morality of lab-grown meat. As I argue, evaluating the issue from a virtue-oriented perspective suggests that the project of in vitro meat should not be supported because it stems from unvirtuous motivations. (shrink)

Marcus William Hunt argues that when co-parents disagree over whether to raise their child (or children) as a vegan, they should reach a compromise as a gift given by one parent to the other out of respect for his or her authority. Josh Millburn contends that Hunt’s proposal of parental compromise over veganism is unacceptable on the ground that it overlooks respect for animal rights, which bars compromising. However, he contemplates the possibility of parental compromise over ‘unusual eating,’ of animal-based (...) foods obtained without the violation of animal rights. I argue for zero parental compromise, rejecting a rights-oriented approach, and propose a policy that an ethical vegan parent and a non-vegan co-parent should follow to determine how to raise their children. (shrink)

There has been much debate recently on the question whether essence can explain modality. Here, I examine two routes to an essentialist account of modality. The first is Hale's argument for the necessity of essence, which I will argue is — notwithstanding recent attempted defences of it — invalid by its very structure. The second is the proposal that it is essential to essential truth that it is necessary. After offering three possible versions of the view, I will argue that (...) each fails to provide a metaphysical explanation of necessity in terms of essence. (shrink)

Abstract: This paper is a response to Park Seungbae’s article, “Defence of Cultural Relativism”. Some of the typical criticisms of moral relativism are the following: moral relativism is erroneously committed to the principle of tolerance, which is a universal principle; there are a number of objective moral rules; a moral relativist must admit that Hitler was right, which is absurd; a moral relativist must deny, in the face of evidence, that moral progress is possible; and, since every individual belongs to (...) multiple cultures at once, the concept of moral relativism is vague. Park argues that such contentions do not affect moral relativism and that the moral relativist may respond that the value of tolerance, Hitler’s actions, and the concept of culture are themselves relative. In what follows, I show that Park’s adroit strategy is unsuc-cessful. Consequently, moral relativism is incoherent. (shrink)

Is it possible to know anything about life we have not yet encountered? We know of only one example of life: our own. Given this, many scientists are inclined to doubt that any principles of Earth’s biology will generalize to other worlds in which life might exist. Let’s call this the “N = 1 problem.” By comparison, we expect the principles of geometry, mechanics, and chemistry would generalize. Interestingly, each of these has predictable consequences when applied to biology. The surface-to-volume (...) property of geometry, for example, limits the size of unassisted cells in a given medium. This effect is real, precise, universal, and predictive. Furthermore, there are basic problems all life must solve if it is to persist, such as resistance to radiation, faithful inheritance, and energy regulation. If these universal problems have a limited set of possible solutions, some common outcomes must consistently emerge. In this chapter, I discuss the N = 1 problem, its implications, and my response (Mariscal 2014). I hold that our current knowledge of biology can justify believing certain generalizations as holding for life anywhere. Life on Earth may be our only example of life, but this is only a reason to be cautious in our approach to life in the universe, not a reason to give up altogether. In my account, a candidate biological generalization is assessed by the assumptions it makes. A claim is accepted only if its justification includes principles of evolution, but no contingent facts of life on Earth. (shrink)

In this article I will begin by discussing recent criticism, by Mauro Antonelli and Werner Sauer, of the ontological interpretation of Franz Brentano’s concept of intentionality, as formulated by i.a. Roderick Chisholm. I will then outline some apparent inconsistencies of the positions advocated by Antonelli and Sauer with Brentano’s formulations of his theory in several works and lectures. This new evaluation of (unpublished) sources will then lead to a sketch of a new approach to Brentano’s theory of intentionality. Specifically, it (...) will be argued that the notion of “intentional object” is inherently and un- avoidably ambiguous in every act of external perception, due to the fact that we can only have improper intentions directed at the external world. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

As proposições condicionais receberam atenção teórica concentrada, embora intermitente, desde a Antiguidade. A atenção durante últimos quarenta anos tem sido intensa. Nesse artigo, apresentaremos os principais desenvolvimentos da análise lógica acerca das proposições condicionais e discutiremos como elas desempenham papel central em muitas teorias filosóficas. Na primeira parte dessas observações introdutórias, mostraremos como os antigos, principalmente as escolas megárica e estoica, envolveram-se com a questão dos condicionais e quão importante isso foi para os posteriores desenvolvimentos da análise lógica dos condicionais (...) no medievo e na Idade Moderna. Por fim, apresentaremos, já na contemporaneidade, C. I. Lewis expondo sua teoria da implicação estrita em franca oposição à doutrina da implicação que ele julgava errada. Espera-se que este trabalho sirva como a apresentação panorâmica de um campo que em lógica ainda é muito frutífero e fecundo para aprofundamentos e novas ideias. (shrink)

Explicit atheism is a philosophical position according to which belief in God is irrational, and thus it should be rejected. In this paper, I revisit, extend, and defend against the most telling counter arguments the Kalām Cosmological Argument in order to show that explicit atheism must be deemed as a positively irrational position.

What does Cyberpunk and AI Ethics have to do with each other? Cyberpunk is a sub-genre of science fiction that explores the post-human relationships between human experience and technology. One similarity between AI Ethics and Cyberpunk literature is that both seek a dialogue in which the reader may inquire about the future and the ethical and social problems that our technological advance may bring upon society. In recent years, an increasing number of ethical matters involving AI have been pointed and (...) debated, and several ethical principles and guides have been suggested as governance policies for the tech industry. However, would this be the role of AI Ethics? To serve as a soft and ambiguous version of the law? I would like to promote in this article a more Cyberpunk way of doing AI Ethics, whit a more anarchic way of governance. In this study, I will seek to expose some of the deficits of the underlying power structures of our society, and suggest that AI governance be subject to public opinion, so that ‘good AI’ can become ‘good AI for all’. (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong to any logical order, (...) that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

According to the Principle of Alternative Possibilities, an agent is morally responsible for an action of hers only if she could have done otherwise. The notion of a robust alternative plays a prominent role in recent attacks on PAP based on so-called Frankfurt cases. In this paper I defend the truth of PAP for blameworthy actions against Frankfurt cases recently proposed by Derk Pereboom and David Widerker. My defence rests on some intuitively plausible principles that yield a new understanding of (...) the concept of a robust alternative. I will leave aside whether PAP also holds for praiseworthy actions -/- Según el Principio de Posibilidades Alternativas, un agente es moralmente responsable de una acción sólo si hubiera podido actuar de otro modo. La noción de alternativa robusta desempeña un papel prominente en ataques recientes al PPA basados en los llamados casos Frankfurt. En este artículo defiendo el PPA para la culpabilidad moral frente a casos Frankfurt propuestos recientemente por Derk Pereboom y David Widerker. Mi defensa descansa en algunos principios intuitivamente plausibles que dan lugar a una comprensión nueva del concepto de alternativa robusta. No trataré la cuestión de la verdad del PPA para acciones moralmente laudables. (shrink)

Expressivists claim that normative judgments (NJ) are non-cognitive states. But what kind of states are they, exactly? Expressivists need to provide us with an adequate account of their nature. Here, I argue that there are structural features that render this task rather daunting. The worry takes the form of a looming dilemma: NJ are either conative states (i.e. states with a world-to-mind direction of fit) or they are not. If they are, then they are either attitudes de se (i.e. attitudes (...) about oneself) or they are not. If they are, then they’re unable to account for disagreement. If they are not, then they're unable to account for agent-relative NJ. So NJ cannot be conative states (they cannot have a world-to-mind direction of fit). On the other hand, however, if NJ are not conative states (if they are states without a direction of fit, like affective or other sui generis non-cognitive, non-conative attitudes) then it remains a mystery how they support relations of disagreement. (shrink)

The Whorfian hypothesis has received support from recent findings in psychology, linguistics, and anthropology. This evidence has been interpreted as supporting the view that language modulates all stages of perception and cognition, in accordance with Whorf’s original proposal. In light of a much broader body of evidence on time perception, I propose to evaluate these findings with respect to their scope. When assessed collectively, the entire body of evidence on time perception shows that the Whorfian hypothesis has a limited scope (...) and that it does not affect early stages of time perception. In particular, all the available evidence shows that the scope of language modulation is limited in the case of time perception, and that the most important mechanisms for time perception are cognitive clocks and simultaneity windows, which we use to perceive the temporal properties of events. Language modulation has distorting effects, but only at later stages of processing or with respect to specific categorization tasks. The paper explains what is the role of these effects in the context of all the available evidence on time cognition and perception. (shrink)

Abstract Nowadays, there is a deep and widespread feeling of discomfort among academics due to the psychological and labor pressures that universities exert upon their researchers by demanding endless publications. In this paper, I offer numerous pieces of evidence of this crisis, which affects primarily those who inhabit academic ecologies. First, I argue that it is convenient to understand the current situation as an expression of technologies and individual apparatuses shaped by subjectivizing ideologies, and mechanisms of exclusion, stigmatization, and replacement. (...) Second, I examine two proposals against the crisis produced by the pace of academic production framed by the Slow movement. Lastly, after making explicit some of the assumptions that undergird the university’s epistemological machine, I propose to complement Ulmer and Mountz’s project with two suggestions. On the one hand, I extend an invitation to reflect on and with students as a means to redirect the university’s teleology. On the other hand, I suggest incorporating an ontogogic approach as a resistance apparatus against the pressure from the university’s production machine. The article’s point of departure is anti-dicotonegative because it is based on a summative approach rather than in an agonistic procedure. In other words, I propose two additional tools that can be put to the test to contribute to solving the university publication crisis. (shrink)

One challenge faced by aesthetics is the development of an account able to trace out the continuities and discontinuities between general experience and aesthetic experiences. Regarding this issue, in this paper, I present an enactive model of some raw cognitive dynamics that might drive the progressive emergence of aesthetic experiences from the stream of general experience. The framework is based on specific aspects of John Dewey’s pragmatist philosophy and embodied aesthetic theories, while also taking into account research in ecological psychology, (...) cognitive sciences, and dynamic systems theory. The model focuses on dynamically relevant nodes at the pre-reflective and the reflective side of experience that would work as nested rhythmic constraints at different cognitive timescales with the potential to shunt experiences toward the aesthetic in everyday situations. My proposal constitutes a way to explore aesthetic experiences from an enactive perspective that regards them as transformative events in which cognitive processes entrain and are entrained by changes taking place in the environment, the brain, and the body. (shrink)

In this paper, I discuss the similarity between Wittgenstein’s use of thought experiments and Relativity Theory. I begin with introducing Wittgenstein’s idea of “thought experiments” and a tentative classification of different kinds of thought experiments in Wittgenstein’s work. Then, after presenting a short recap of some remarks on the analogy between Wittgenstein’s point of view and Einstein’s, I suggest three analogies between the status of Wittgenstein’s mental experiments and Relativity theory: the topics of time dilation, the search for invariants, and (...) the role of measuring tools in Special Relativity. This last point will help to better define Wittgenstein’s idea of description as the core of his philosophical enterprise. (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (shrink)

Revelación y religiones es el título del libro editado por Xavier Morlans i Molina, publicado en el 2016 por la editorial Herder. De manera sencilla y sin recargar los capítulos de información sobre las religiones tratadas, los autores se abocan a la misión de buscaranalogías y diferencias de la idea de revelación en dichas tradiciones. El orden que tiene el libro es cronológico, es decir, según la aparición histórica de cada tradición religiosa.

Kant’s argument against suicide is widely dismissed by scholars and often avoided by teachers because it is deemed inconsistent with Kant’s moral philosophy. This paper attempts to show a way to make sense of Kant’s injunction against suicide that is consistent with his moral system. One of the strategies adopted in order to accomplish my goal is a de-secularization of Kant’s ethics. I argue that all actions of self-killing (or suicide) are morally impermissible because they are inconsistent with God’s established (...) nature and order. It is argued that the existence of God as the locus of moral value and duty in Kant’s moral system, and not belief in God, can explain the consistency of Kant’s injunction against suicide. A synergistic view is offered, which rests on three arguments: First, suicide goes against God’s authority. Second, suicide is inconsistent with our self-perpetuating nature. Third, suicide goes against the rational will. (shrink)

The goal of ethical veganism is a vegan world or, at least, a significantly vegan world. However, despite the hard work done by vegan activists, global meat consumption has been increasing (Saiidi 2019; Christen 2021). Vegan advocates have focused on ethics but have ignored the importance of tradition and identity. And the advent of veggie meat alternatives has promoted food that emulates animal products thereby perpetuating the meat paradigm. I suggest that, in order to make significant changes toward ending animal (...) exploitation, ethical vegans give more attention to tradition and identity. Furthermore, I propose that raw veganism is the most ethical diet and can be the best way to move away from animal-based food. (shrink)

In this paper I deal with Richard Moran's account of self-knowledge in his book Authority and Estrangement. After presenting the main lines of his account, I contend that, in spite of its novelty and interest, it may have some shortcomings. Concerning beliefs formed through deliberation, the account would seem to face problems of circularity or regress. And it looks also wanting concerning beliefs not formed in this way. I go on to suggest a diagnosis of these problems, according to which (...) they would arise out of a view of agents too strongly dependent on the will. /// Este trabajo se ocupa de la concepción del autoconocimiento en el libro de Richard Moran Authority and Estrangement. Tras presentar las líneas maestras de dicha concepción, sostengo que ésta, a pesar de su novedad e interés, podría adolecer de defectos importantes. Así, con respecto a las creencias formadas mediante la deliberación, la propuesta de Moran parece enfrentarse a problemas de circularidad o de regreso. Y parece también insatisfactoria acerca de creencias no formadas de ese modo. Finalmente, sugiero un diagnóstico de estos problemas, según el cual éstos surgirían de una concepción de los agentes excesivamente dependiente de la voluntad. (shrink)

This article presents what I call the Central Normative Proposal of Luis Villoro. This proposal is based on an interpretation of the principle of non-exclusion in ethics and epistemology. The core argument of the paper is based on a linguistic analogy that demonstrates the importance of reasonable communication for non-exclusion in epistemology, which is assumed in various theses of Villoro. A consequence of this analogy for non-exclusion in ethics is that Villoro defends basing what is reasonable on the concrete possibilities (...) of mutual understanding, starting with asymmetries and injustices that are obfuscated or eliminated in a contractualist analysis, or one that begins with strictly egalitarian principles. This criticism is compatible with egalitarian views, but it assumes a radically different point of departure. Although various theses by Villoro are compatible with egalitarian notions, given this point of departure based on asymmetries of power his proposal should be understood based on our cognitive capacities to understand and appreciate such asymmetries. For this reason, the paper concludes with an analysis of the notion of reasonableness, which under my interpretation Villoro defines in terms of our capacities for attention, that are not reducible to beliefs or systems of beliefs. In this way, the Central Normative Proposal of Villoro depends on the convergence between truth and the dignity of the members of communities in which as matter-of-fact asymmetries exist and must be eliminated through concrete communicative efforts. (shrink)

This paper is a comparison of Kripke’s and Künne’s interpretations of Frege’s theory of indexicals, especially concerning Frege’s remarks on time as “part of the expression of thought”. I analyze the most contrasting features of Kripke’s and Künne’s interpretations of Frege’s remarks on indexicals. Subsequently, I try to identify a common ground between Kripke’s and Künne’s interpretations, and hint at a possible convergence between those two views, stressing the importance given by Frege to nonverbal signs in defining the content of (...) thought. I conclude by indicating a possible direction for further research. (shrink)

In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the unificationist “explicit” approach (...) given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning. (shrink)

Keith Donnellan wrote his paper on definite descriptions in 1966 at Cornell University, an environment where nearly everybody was discussing Wittgenstein’s ideas of meaning as use. However, his idea of different uses of definite descriptions became one of the fundamental tenets against descriptivism, which was considered one of the main legacies of the Frege–Russell– Wittgenstein view; and I wonder whether a more Wittgensteinian interpretation of Donnellan’s work is possible.

I argued against relationalism with four objections. One of those was that, under reasonable assumptions, relationalism's modal relation needs to be what I called an `extra order' relation. I recently came to notice that the objection could have been posed with much less substantive assumptions. In particular, I recently noticed that order-dissonant predications are not required for the objection; therefore, noncumulativism is not relevant for my argument.

For more than a century now, the automation of the means of work has created great apprehension among us. After all, will we all be replaced by machines in the future? Will all forms of labor be automatable? Such questions raise several criticisms in the literature concerned with machine ethics. However, in this study, I will approach this problem from another angle. After all, we can criticize the automation of the means of work in several ways. I invite the reader (...) to entertain the following hypothesis: What if the automation of the means of labor is something beneficial? What if human emancipation does come through our technological development? If the answer is yes, why do we still work so much? I conclude that if automation processes are applied to key points in our social structure, we can emancipate the individual from a reality where we work for no reason. (shrink)

Um posicionamento muito comum entre teóricos do campo de pesquisa em Inteligência Artificial é aquele no qual definimos “Inteligência” como uma capacidade intrinsecamente relacionada à perseguição de metas e objetivos, algo que podemos chamar de uma “definição teleológica” para o fenômeno de inteligência. Contudo, uma possível crítica contra esta definição pode ser levantada devido a sua aparente vagueza. Como qualquer comportamento pode ser descrito como um objetivo a ser cumprido, e funções de utilidade pertencem a uma vasta família de funções, (...) podemos dizer que “qualquer comportamento”, desde que esse possa ser descrito como um objetivo sendo perseguido (uma função de utilidade sendo maximizada), serve como evidência de agência inteligente. Neste estudo, gostaria de propor uma definição alternativa para o conceito de Inteligência. Uma definição metafísica, i.e., a Hipótese da Permissibilidade. Para defender tal proposta, irei apresentar um paralelo entre: (1) teoria da otimização; (2) nosso entendimento contemporâneo sobre fenômenos físicos; e (3) aquilo que chamamos de Aprendizagem de Máquina. No fim, proponho que “Inteligência” deve ser compreendida como uma propriedade física permissível de nossa realidade. Uma propriedade a que todos os sistemas físicos têm acesso. (shrink)

Resumo: Tradução, com comentário, de uma inscrição presente em pequeno frontão helenístico do século II AEC, que trata de um decreto homenageando o demarco Pânfilo, e tanto demonstra como os Mistérios de Elêusis ainda eram importantes no período Helenístico, como comprova o papel das mulheres na condução dos eventos religioso. Também a atesta a organização de festivais pequenos e grandes, a liturgia de eventos no teatro, procissões e sacrifícios. -/- Palavras-chave: decreto; epigrafia; Mistérios de Elêusis. -/- Abstract: Portuguese translation, with (...) comments, of an inscription on a small Hellenistic pediment from the 2 nd century BCE about a decree honoring the demarch Pamphilos. The inscription displays how the Eleusinian Mysteries were still important in the Hellenistic period, and proves as well the role of women in the conduct of religious events. It also gives evidence of the organization of small and large festivals, of the liturgy of events in the theater, and of religious processions and sacrifices. -/- Keywords: decree; epigraphy; Eleusinian Mysteries. (shrink)

My main aim in this paper is to improve and give further support to a defense of the Principle of Alternative Possibilities (PAP) against Frankfurt cases which I put forward in some previous work. In the present paper I concentrate on a recent Frankfurt case, Pereboom's "Tax Evasion". After presenting the essentials of my defense of PAP and applying it to this case, I go on to consider several objections that have been (or might be) raised against it and argue (...) that they don't succeed. I conclude by pointing out that my criticism of Pereboom's example suggests a general strategy against other actual or possible Frankfurt cases. (shrink)

A ansiedade gerada pela possível criação de inteligência artificial geral, algo profetizado desde a fundação do campo de pesquisa (i.e., Dartmouth's Summer Research Project on Artificial Intelligence) (MCCARTHY et al., 1955), é algo comumente investigado dentro dos círculos transhumanistas e singularistas (KURZWEIL, 2005; CHALMERS, 2010; TEGMARK, 2016; 2017; CORRÊA; DE OLIVEIRA, 2021). Por exemplo, em seu livro “Superintelligence: Paths, Dangers, Strategies”, Nick Bostrom (2014) apresenta uma série de argumentos para justificar a ideia de que precisamos ser cautelosos em relação a (...) criação de inteligência artificial avançada ou inteligência artificial geral. Contudo, muito dos argumentos levantados, em suas versões originais (i.e., convergência instrumental e ortogonalidade (OMOHUNDRO, 2008), são baseados em noções “vagas” de conceitos complexos (i.e., “inteligência”, “racionalidade”, “agência”). O objetivo deste resumo (apresentação) será introduzir o leitor/ouvinte ao campo de Segurança da Inteligência Artificial. Nesse campo, questões como o “Problema de controle” (i.e., evitar construir inadvertidamente uma inteligência artificial geral que prejudicará seus criadores) e o “Problema de Alinhamento” (i.e., criar sistemas de inteligência artificial que permaneçam seguros mesmo quando atuando de forma autônoma no ambiente real), que são questões muitas vezes debatidas apenas dentro da Filosofia ou Ficção Científica, ganham um aspecto muito mais real e formal (AMODEI et al., 2016, HUBINGER et al., 2019). A criação de alguns dos modelos de inteligência artificial mais avançados já criados (e.g., AlphaGo, GPT-3) (SILVER el al., 2016; BROWN et al., 2020), está ligado a utilização de dois paradigmas da área de Aprendizagem de Máquina, i.e., Aprendizagem Profunda e Aprendizagem por Reforço. Dentro deste contexto, podemos definir “um sistema autônomo inteligente” como “um sistema que implementa uma política ótima (tecnicamente "ϵ-greedy optimal") para alguma função de recompensa” (ORSEAU et al., 2018). Podemos também definir tais sistemas como “maximizadores de utilidade esperada” (VON NEUMANN; MORGENSTERN, 1944). Um sistema de IA maximizando uma função de recompensa (i.e., objetivo) especificada erroneamente pode vir a causar danos reais quando interagindo no ambiente real, seja por erros de especificação (i.e., Efeitos Colaterais Negativos, Hackeamento de Recompensa, Interrupção Segura), ou quando o domínio de treinamento é diferente do domínio de implantação (i.e., Exploração Segura e Mudança de Domínio). Ao mesmo tempo, especificar objetivos complexos (e.g., preferências e valores humanos) é uma tarefa extremamente complexa, e quando visamos a possibilidade de inteligência artificial avançada agindo no mundo real, é imperativo que tais sistemas estejam: (1) alinhados com nossos objetivos; e (2) desenvolvidos com um design que evite os problemas citados acima. Contudo, tais problemas permanecem em aberto. Por fim, gostaria de ressaltar que no cerne desta problemática, não temos apenas problemas técnicos de aprendizagem de máquina, mas uma importante questão de cunho “Moral”: “O que é a coisa ‘certa” a fazer”? “Qual o objetivo correto a ser perseguido”? “Como podemos especificar isso”? Perguntas como essas prometem um fértil campo para pesquisas interdisciplinares envolvendo inteligência artificial, aprendizagem de máquina, ciências da computação e filosofia moral. (shrink)

In this paper, I will discuss a well-known oscillation in Frege’s conception of sense. My point is only partially concerned with his two different criteria of sense identity, and touches upon a more specific point: what happens if we apply Frege’s intuitive criterion for the difference of thoughts to logically equivalent sentences? I will try to make a schematic argument here that will preempt any endeavor to make Frege more coherent than he really is. In sections A and B, I (...) will present two alternative Fregean ways to treat the sense of logically equivalent sentences. Frege really oscillated between two alternative conceptions of sense, and his inability to detect the contrast between the two alternative conceptions is partly due to his strong conception of rationality. To apply the criterion of difference of thoughts to logical matters, we may also use a weak notion of rationality, or at least a notion of rationality of human agents, with limited computational resources. The distinctions towards which Frege was striving are better understood nowadays from the point of view of the treatment of limited rationality, which imposes itself even in logical matters. (shrink)

Resilience Tutors is the title of the book written by Gema Puig Esteve and JoséLuis Rubio Raval, published in 2015 by the Gedisa publishing house in Barcelona, Spain. In a novel way, the book, divided into two, expresses in the first part, in a fictional way, through experiential, emotional and direct language, the reality surrounding the resilience tutor; In the second part, it gives us concrete theoretical elements that allow us to delve deeper into the foundations of resilience, the contexts (...) in which it develops and the characteristics of resilience tutors. We could summarize the theme of the book in a poetic way with a few words from Espinosa (Cited in Rubio and Puig, 2015): “Every year of my life I have searched for twelve pearls. Twelve people that I did not know, but who appeared to me and marked my world in such a way that my self changed (...) Over time some pearls become diamonds (...) a diamond, so that you understand me, is one of those people who become so basic and so important in your life that they seem created solely for you” (p. 49). -/- Tutores de Resiliencia es el título del libro escrito por Gema Puig Esteve y JoséLuis Rubio Raval, publicado en el 2015 por la editorial Gedisa en Barcelona,España. De manera novedosa el libro, dividido en dos, expresa en la primera parte,de manera novelada, a través de un lenguaje vivencial, emotivo y directo, la realidad entorno al tutor de resiliencia; en la segunda parte, nos da elementos teóricos concretos que permiten profundizar en los fundamentos de la resiliencia, los contextos en los que se desarrolla y las características de los tutores de resiliencia. Podríamos resumir la temática del libro de manera poética con unas palabras de Espinosa (Citado en Rubio y Puig, 2015): “Cada año de mi vida he buscado doce perlas. Doce personas que noconociera, pero que se me aparecieran y marcaran mi mundo de tal maneraque mi yo virara (...) Con el tiempo algunas perlas pasan a ser diamantes(...) un diamante, para que me entiendas, es una de esas personas que sehace tan básica y tan importante en tu vida que parece creada únicamente para ti” (p. 49). (shrink)

In her recent book Causation and Free Will, Carolina Sartorio develops a distinctive version of an actual-sequence account of free will, according to which, when agents choose and act freely, their freedom is exclusively grounded in, and supervenes on, the actual causal history of such choices or actions. Against this proposal, I argue for an alternative- possibilities account, according to which agents’ freedom is partly grounded in their ability to choose or act otherwise. Actual-sequence accounts of freedom are motivated by (...) a reflection on so-called Frankfurt cases. Instead, other cases, such as two pairs of examples originally designed by van Inwagen, threaten actual-sequence accounts, including Sartorio’s. On the basis of her view of causation, Sartorio contends, however, that the two members of each pair have different causal histories, so that her view is not undermined by those cases after all. I discuss these test cases further and defend my alternative-possibilities account of freedom. (shrink)

In recent decades much literature has been produced on disagreement; the puzzling conclusion being that epistemic disagreement is, for the most part, either impossible (e.g. Aumann (Ann Stat 4(6):1236–1239, 1976)), or at least easily resolvable (e.g. Elga (Noûs 41(3):478–502, 2007)). In this paper I show that, under certain conditions, an equally puzzling result arises: that is, disagreement cannot be rationally resolved by belief updating. I suggest a solution to the puzzle which makes use of some of the principles of Hintikka’s (...) Socratic epistemology. (shrink)

Context is a concept used by philosophers and scientists with many different definitions. Since Dummett we speak of "context principle" in Frege and Wittgenstein: "an expression has a meaning only in the context of a sentence". The context principle finds an extension in some of Wittgenstein's ideas, especially in his famous passage where he says that "to understand a sentence is to understand a language". Given that Wittgenstein believes that "the" language does not exist but only language games exist, we (...) should conclude that he is speaking of the need to consider any sentence always in the context of a language game1. This general attitude is certainly attuned with the contemporary tendency to place contextual restrictions to the interpretations of our sentences. However we find so many kinds and forms of restrictions that this general attitude is not enough to give us a viable tool to find an order in the web of so many different theories of context. To look for an order or, at least a clarification, we may start with two contrasting paradigms of theories: the "objective" theory of contexts, where context is a set of features of the world, and the "subjective" theories of context, where context is the cognitive background of a speaker or agent in respect to a situation2. We have here not only two different ways of using the term "context" but also two different conceptions of semantics and philosophy. The different conceptions are normally associated, respectively, with the classical paradigm of model theoretic semantics (Kaplan, Lewis Stalnaker) on one hand and with the A.I. paradigm (McCarthy, Buvac, Giunchiglia) on the other hand. For sake of simplicity I will restrict my attention3 mainly to Kaplan 1989 and to McCarthy 1993 and Giunchiglia 1993. The two different conceptions can be summarised with the following schema: a) context as: set of features of the world.. (shrink)

In his paper “What the externalist can know a priori”, Paul Boghossian rejects the compatibility between self-knowledge and content externalism by arguing that compatibilists are committed to the absurd view that a subject can know, by reasoning purely a priori, substantive truths about the world, such as that water exists. In this paper I try to show that Boghossian’s incompatibilist argument does not succeed. According to Boghossian, it is enough, for an externalist to reach the undesired conclusion, that she satisfies (...) a number of conditions that can be known by her a priori. I argue that, by an externalist’s lights, some of these conditions are simply too weak to be acceptable by her and some of them can only be known a posteriori. So, compatibilists are not committed to the absurdity Boghossian ascribes to them. (shrink)

Jean-François Lyotard s'interroga sulla forma delle organizzazioni sociali e ne identifica la problematica principale nell'eterogeneità che esse veicolano tra i differenti regimi di frasi: si sofferma, in particolare, sull'incompatibilità tra il regime della conoscenza e quello della libertà. A partire da tale riflessione, l'articolo esamina come le società attuali, multiculturali e globalizzate, siano chiamate oggi a compiere una scelta: abbracciare la sintesi dell'eterogeneo oppure rispettare e far rispettare la presenza inevitabile del dissidio. Nella prima occorrenza si corre il rischio di (...) trasformare il diritto in succedaneo dell'ordalia e di accendere la guerra di tutti contro tutti. Nella seconda, invece, si sperimenta la costruzione d'interazioni di tipo dipolare le quali, pur non potendo garantire contro lo scatenamento smisurato della violenza, riescono potenzialmente ad arginarlo. Queste ultime, infatti, spostano la misura della sopravvivenza dall'esclusione delle ostilità alla loro elusione, dal rifiutare il conflitto all'addomesticarlo, dal rinunciare allo sforzo muscolare al calibrarlo. (shrink)

In this paper I shall outline a short history of the ideas concerning sense and reference of a concept-word from Frege to model theoretic semantics. I claim that, contrary to what is normally supposed, a procedural view of sense may be compatible with model theoretic semantics, especially in dealing with problems at the boundary between semantics and pragmatics. A first paragraph on the paradox of the concept horse will clarify the attitude concerning the history of ideas that I assume in (...) this paper. In the second paragraph I will discuss some misunderstandings in the shift from the sense/reference distinction in Frege to the intension/extension distinction in model theoretic semantics. In the third I will show how a particular interpretation of the Fregean sense of a concept word may be of interest for model theoretic semantics. (shrink)

The prevailing view about our memory skills is that they serve a complex epistemic function. I shall call this the “monistic view.” Instead of a monistic, exclusively epistemic approach, I propose a transactional view. On this approach, autobiographical memory is irreducible to the epistemic functions of episodic memory because of its essentially moral and empathic character. I argue that this transactional view provides a more plausible and integral account of memory capacities in humans, based on theoretical and empirical reasons. Memory, (...) on this account, plays two distinctive roles. The episodic memory system satisfies epistemic needs and is valuable because it is a source of justification for beliefs about the past. Autobiographical memory satisfies moral and narrative-autonoetic needs, and is valuable because it is a source of personally meaningful and insightful experiences about our past. Unlike autobiographical memory, episodic memory is only weakly autonoetic. The relation between these two roles of memory is captured by the tension between a narrative and an accurate report. (shrink)

The paper presents the history of Italian scholars and research centres that contributed to the emergence of the analytic philosophy of language in Italy in the second half of the twentieth century. After a brief description of the work completed in the fifties, I describe the formation of a network of people interested in those contents and methods, trace the origins to the influence of different centres of research in the US and Europe and shortly describe the main events, seminars, (...) conferences and meetings linked to different universities and research groups. These early efforts created a background from which students and junior scholars could evolve and develop original research in that area. The central idea is that the work on the philosophy of language we made in Italy is part of a wider attempt at reconnecting networks of interactions among philosophers in Europe that were alive before the Nazi period. (shrink)

In this paper I address the question whether self-knowledge is compatible with an externalist individuation of mental content. Against some approaches, I consider self-knowledge as a genuine cognitive achievement. Though it is neither incorrigible nor infallible, self-knowledge is direct, a priori (no based on empirical investigation), presumptively true and authoritative. The problem is whether self-knowledge, so understood, is compatible with externalism. My answer will be affirmative. I will defend this species of compatibilism against several objections, in particular those based on (...) the possibility of an individual’s being unwittingly switched between worlds. (shrink)

No es usual leer un libro de un gran teólogo y a la vez de un gran artista. Ubicándonos en el siglo XXI, es fácil reconocer al personaje del cual estamos hablando: Marko I. Rupnik. La sensibilidad artística, unida a la profundidad teológica y a su ascendencia espiritual católica oriental, hacen de los escritos del padre Rupnik grandes novedades para la teología occidental actual. En su libro According to the Spirit, el padre Rupnik propone, siguiendo los lineamientos del papa Francisco, (...) que será una teología espiri-tual que exprese la renovación de la vida eclesial, la que podrá afrontar el periodo épico de transición en el cual nos encontramos. La Iglesia Católica necesita una nueva mentalidad que corresponde a una vida nueva, pero basada en una vida según el Espíritu, una vida espiritual que le haga espacio interior al Espíritu, recibiéndolo como un don, que nos libere del apego a nosotros mismos. Las aproximaciones exis-tenciales, así como la profundidad teológica y los matices fruto de la sensibilidad espiritual del padre Rupnik, hacen del libro una aguda, dura y muy acertada crítica a la situación actual de la Iglesia Católica, en sus métodos teológicos, evangelización y respuesta a las necesidades del mundo de hoy. (shrink)

Davidson’s famous 1963 paper “Actions, Reasons, and Causes” contains, in nuce, the main lines of Davidson’s philosophy of action and mind. It also contains the seeds of some major problems of Davidson’s thought in these fields. I shall defend, following Davidson, that rationalization or reasons explanation is a species of causal explanation, but I will be contending, against Davidson’s approach, that causality is best viewed, in this kind of explanation, as an integral aspect of justification itself, and not as an (...) independent, additional condition. (shrink)

In this paper I give a reconstruction of Dummett’s main arguments concerning the theory of the occult origin of the Tarot, and discuss the reasons behind the success of the Tarot pack – in particular the Major Arcana – in the history of card games. I also provide some indication of the links between Dummett’s interest in the history of card games and aspects of his philosophical background. As I am not an expert on card games, this paper is mainly (...) a personal tribute to a side of Dummett’s work to which philosophers have in general paid little attention. (shrink)

DOIhttps://doi.org/10.25247/P1982-999X.2019.v19n1.p103-134• Esta obra está licenciada sob uma licençaCreative Commons Atribuição 4.0 InternacionalISSN 1982-999x|Pragmatic ambiguity and Kripke’s dialogue against DonnellanAmbiguidade Pragmática e o diálogo de Kripke contra DonnellanCarlo Penco (Universidade de Genova, Itália)AbstractIn this paper I discuss Donnellan’s claim of the pragmatic ambiguity of the distinction between referential and attributive uses of definite des-criptions. The literature on the topic is huge and full of alternative analysis. I will restrict myself to a very classical topos: the challenge posed by Kripke to Donnellan’s (...) distinction with the case of a dialogue on an attempt to update a misdescription. I claim that to treat the problem of the referential use of definite descriptions we need not only to take into account the context of utterance, but also the cognitive context with its epistemic restrictions and the possible different contexts of reception of the same utterance. I try to show different aspects of what can be called “pragmatic ambiguity”, which seem not correctly considered by Kripke, and connect them to the basic tenets of Grice Cooperative principle. (shrink)